Benders' decomposition